Hierarchies Ontological and Ideological
نویسنده
چکیده
Gödel claimed that Zermelo-Fraenkel set theory is ‘what becomes of the theory of types if certain superfluous restrictions are removed’. The aim of this paper is to develop a clearer understanding of Gödel’s remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
منابع مشابه
Ideological parsimony
The theoretical virtue of parsimony values the minimizing of theoretical commitments, but theoretical commitments come in two kinds: ontological and ideological. While the ontological commitments of a theory are the entities it posits, a theory’s ideological commitments are the primitive concepts it employs. Here, I show how we can extend the distinction between quantitative and qualitative par...
متن کاملQuine’s Ideological Debacle
In two papers in the mid-seventies, Quine has discussed an ontological debacle, the reduction of ontology to an ontology of pure sets only. This debacle, which weakened Quine’s interest in ontology, is the natural outcome of ontological relativity, or, more precisely, the proxy-function argument. It is explained how Quine unavoidably came to this conclusion. Moreover, it is argued that the resu...
متن کاملRoles: One Dead Armadillo on WordNet's Speedway to Ontology
We assume that the ontological structure of the common-sense world, and thus of human knowledge about this world, is organized in networks rather than in hierarchies. Thus, using the taxonomies that semantic relations generate in WordNet as the only source for the reconstruction of ontological information must fail at some point. Comparing the ontological structures underlying roles to WordNet ...
متن کاملDynamic Is - a Hierarchy Generation System Based on User's Viewpoint
In ontological theories, is-a hierarchy must represent the essential property of things and hence should be single-inheritance, since the essential property of things cannot exist in multiple. However, we cannot avoid multiperspective issues when we build an ontology because the user often want to understand things from their own viewpoints. Especially, in the Semantic Web, the variety of users...
متن کاملEvaluating Ontologies with Rudify
In this paper we present Rudify, a set of tools designed for the semi-automatic evaluation of ontological meta-properties based on lexical realizations of these meta-properties in natural language. We describe the development of Rudify, provide an evaluation of initial output, and describe how this output can be used in conjunction with OntoClean (Guarino and Welty, 2002) to produce clean ontol...
متن کامل